Robert Harper - PDFSEARCH.IO - Document Search Engine

Robert Harper
Results: 56

#	Item
51	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
52	Christopher A. Stone Education 1994–2000! Carnegie Mellon University! Pittsburgh, PA ! Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2013-09-28 13:22:16 Association for Computing Machinery SIGPLAN Year of birth missing International Conference on Functional Programming Principles of Programming Languages Robert Harper Programming Language Design and Implementation Continuation ACM SIGACT Software engineering Computing Computer science
53	Index of The Complete Songs of ROBERT BURNS as recorded by Add to Reading List Source URL: quivis.co.uk Language: English - Date: 2010-12-11 04:25:10 West Germanic languages Roud Folk Song Index Thou Auld Lang Syne The Lochmaben Harper Scottish folk songs English languages Anglo-Frisian languages
54	A Logic of Authentication M. Burrows, M. Abadi, R. Needham Robert Harper Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-13 10:55:29 First-order logic Needham–Schroeder protocol Kerberos Cyberwarfare Mathematics Burrows–Abadi–Needham logic Cryptography Logic
55	[removed]Supplementary Notes: Higher-Order Logic Robert Harper Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-01-05 16:58:46 Propositional calculus Predicate logic Universal quantification First-order logic Well-formed formula Existential quantification Negation Intuitionistic logic Proposition Logic Mathematical logic Quantification
56	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic

UPDATE